Airbus Selects Esterel Technologies for Design and Verification of A380
Using Esterel Technologies' SCADE software development and verification
suite, Airbus creates DO-178B specifications and bug-free embeddable
code
MOUNTAIN VIEW, Calif. and ELANCOURT, France - April 7, 2003 -
Esterel Technologies, a global provider of correct-by-construction
solutions for safety-critical systems, today announced that its SCADE
Suite is being used by Airbus' Flying Command Specification and
Development group to design and verify the Airbus A380 flying commands.
Having achieved a 50% savings on the overall design cycle by using SCADE
for designing the A3400-600's Secondary Flight Command Systems, Airbus
made the decision to migrate their design flow from SAO to SCADE for the
A380 program. Airbus will also use SCADE to develop other electronic
systems on the aircraft, including the braking and steering, cockpit
display, flight warning, engine control, and air control systems.
The Airbus team selected SCADE for its ability to create formal
and unambiguous specifications from which embeddable software code can
automatically be generated. The generated code is compliant with DO178B
specifications and is bug free ("correct by construction"), meeting the
requirements for safety- and mission-critical systems.
Airbus is recognized worldwide as one of the largest developers
of civilian aircraft. Their prime objective on the A380 development
program was to lower the overall cost of specification, verification,
and implementation of the critical embedded electronic systems, while
complying with the highly stringent DO178B constraints.
"The selection of SCADE for Airbus' safety-critical systems
speaks well for SCADE's success in developing high quality embedded code
while improving product quality and reducing cost," said Eric Bantegnie,
President and CEO of Esterel Technologies. "AIRBUS has been contributing
to the SCADE Suite development for the past 10 years. Today, Airbus and
Esterel Technologies have created a true win-win partnership. They use
not only our tools, but also our technical product and methodology
consulting services, and their needs have made a highly positive impact
on our technology roadmap."
About SCADE
SCADE is a software product from Esterel Technologies that is
used to create a formal and unambiguous specification from which the
user can automatically generate embeddable software code. SCADE is used
by designers and developers in civilian avionics and other safety
critical electronic systems such as autopilot systems for civilian
helicopters, flight control systems for commercial avionics, suspension
control systems for automobiles, and safety control systems for nuclear
power plants.
About Esterel Technologies
Esterel Technologies provides electronic system and embedded
software designers with methodologies and tools that improve their
productivity and remove the barriers between system specification,
implementation, and validation. The company's products automate costly
and time-consuming coding and validation work through executable
specification, intelligent test suite generation, and automatic code
generation. Esterel Technologies is an international company with
offices in France, Germany, UK, and the United States. For more
information: www.esterel-technologies.com
CONTACT:
Esterel Technologies - Maria Frummet 650-641-1714
maria.frummet@esterel-technologies.com
PR agency in Europe: Carne Communications - Jeremy Carne +44 (0)20 7384
2500
jeremyc@carne.com
|
